Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
141	faturu-encv-May7-2015-web Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2015-05-07 09:12:30 Concurrent computing Computing Computer science Distributed computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing ACM SIGACT Concurrency control Transaction processing International Symposium on Distributed Computing Theoretical computer science Symposium on Principles and Practice of Parallel Programming
142	Counting in the Presence of Memory Faults Gerth Stølting Brodal1 , Allan Grønlund Jørgensen1 , Gabriel Moruz2,? , and Thomas Mølhave3,?? 1 2 Add to Reading List Source URL: users.cs.duke.edu Language: English - Date: 2015-07-24 06:57:56 Circuit complexity NC Big O notation Mathematics Theoretical computer science Computer science
143	International Journal of Theoretical Physics, VoL 21, Nos. 6/7, 1982 Simulating Physics with Computers Richard P. Feynman Department of Physics, California Institute of Technology, Pasadena, CaliforniaReceived Ma Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2013-02-20 10:47:46 Physics Quantum mechanics Theoretical computer science Quantum computing Mathematical formulation of quantum mechanics Expected value Quantum circuit Quantum potential
144	Curriculum Vitae Alessia Milani LaBRI , Université Bordeaux-1 351, cours de la LibérationTalence Cedex, France Add to Reading List Source URL: www.labri.fr Language: English - Date: 2013-03-07 16:22:05 Concurrent computing Computing Hagit Attiya Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Transactional memory Shmuel Zaks International Symposium on Distributed Computing International Conference on Parallel and Distributed Systems Theoretical computer science International Symposium on Reliable Distributed Systems International Parallel and Distributed Processing Symposium
145	Profiles Computer Science Courage By Katharine Miller IN Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2011-05-17 13:31:52 Engineering Academia Computational biology Bioinformatics David Haussler Theoretical computer science Leonidas J. Guibas Computer science Ron Shamir Evolutionary biology Computing Computer scientist
146	To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus
147	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
148	Motivation Overview Traces Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2016-01-12 05:36:12 Algebra Theoretical computer science Mathematics Logic in computer science Formal methods Models of computation Denotational semantics Semantics Causality Motivation Sheaf Trace
149	3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D Vision Add to Reading List Source URL: 3dv2015.webconf.inrialpes.fr Language: English - Date: 2015-04-14 10:56:31 Piscataway New Jersey French Institute for Research in Computer Science and Automation Theoretical computer science Grenoble Institute of Electrical and Electronics Engineers Xplore Politics of France Academia France
150	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics

UPDATE